Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
611	Method validation and verification W. W. Wong Senior Accreditation Officer HKAS 29 July 2009 Add to Reading List Source URL: www.cfs.gov.hk Language: English - Date: 2013-01-05 06:19:18 Science Evaluation Technology Quality control Software quality Verification and validation Validation Verification Accreditation Pharmaceutical industry Validity Systems engineering
612	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Law Creative Commons Free music Universal quantification Lambda calculus Open content Copyleft Computer law
613	Radiance Simulator v1.0 Test Plan Doc ID Version Date Add to Reading List Source URL: nwpsaf.eu Language: English - Date: 2014-11-17 07:02:33 Evaluation Technology Manufacturing Advanced Microwave Sounding Unit Acceptance testing Radiance Validation Verification and validation Test plan Software testing Pharmaceutical industry Validity
614	ISSUE 18 June[removed]www.nicta.com.au Continued funding provides solid foundation for ICT research Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:48 Academia Gernot Heiser Red Lizard Software Gi-Fi L4 microkernel family Defence Science and Technology Organisation University of New South Wales Research Formal verification Association of Commonwealth Universities NICTA UNSW School of Computer Science and Engineering
615	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein 1 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Copyleft Computer law Intellectual property law Automated theorem proving Formal methods Isabelle L4 microkernel family Creative Commons KeY Open content Mathematical software Law
616	DOC Document Add to Reading List Source URL: vec.vic.gov.au Language: English - Date: 2012-09-06 08:08:22 Quality Management Pharmaceutical industry Validity Source code Software development process Quality assurance Verification and validation Evaluation Science Software quality
617	DOC Document Add to Reading List Source URL: www.vec.vic.gov.au Language: English - Date: 2012-09-06 08:08:22 Quality Management Pharmaceutical industry Validity Source code Software development process Quality assurance Verification and validation Evaluation Science Software quality
618	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
619	Reliable Verification vs. Tape Drive Read After Write and Hardware ECC At TOLIS Group, we strongly believe that verified backups are the only backups that can be trusted when disaster strikes and data needs to be restor Add to Reading List Source URL: www.tolisgroup.com Language: English - Date: 2015-03-17 15:06:15 Tape drive Computing File system Error detection and correction Magnetic tape data storage Bacula Backup Data security Backup software
620	Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-05-14 04:39:47 Technology Avionics Safety Software requirements Pharmaceutical industry Astrée DO-178B Worst-case execution time Formal verification Embedded systems Software development Computing

UPDATE